#include "common.h"

int main(int argc, char *argv[]){
	char *source_name = "NEWTON.PAS";
	char date_to_print[DATE_STRING_LENGTH]={'\0'};
	print_page_header(source_name, date_to_print);
	return 0;
}
static void print_page_header(char source_name[], char date[]){
   static int page_number = 0;
   printf("%c",FORM_FEED_CHAR);
   page_number=page_number+1;
   printf("Page\t%d  %s %s \n",page_number, source_name, date);
}
